Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
71	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
72	doi:j.jtbi Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Boolean algebra Bioinformatics Systems biology Cell cycle Algebraic logic Boolean network Gene regulatory network Maturation promoting factor Boolean function Biology Mathematics Science
73	On the Resistance of Prime-variable Rotation Symmetric Boolean Functions against Fast Algebraic Attacks DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 18:34:47 Matrix theory Matrices Determinants Circulant matrix Numerical linear algebra Matrix Eigenvalues and eigenvectors Theorems and definitions in linear algebra Auxiliary function Algebra Linear algebra Mathematics
74	Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions Gilad Asharov∗ Amos Beimel† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-16 05:22:34 Secure two-party computation Function Inverse function Universal composability Cryptographic protocols Mathematics Secure multi-party computation
75	On the (Fast) Algebraic Immunity of Boolean Power Functions DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 18:34:11 Matrix exponential Rectangular function Euclidean algorithm Mathematics
76	Noname manuscript No. (will be inserted by the editor) A generalization of the class of hyper-bent Boolean functions in binomial forms Chunming Tang · Yu Lou · Yanfeng Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-11-12 09:17:28 Cryptography Analytic number theory Kloosterman sum Fourier transform Bent function Boolean function Boolean algebra Mathematical analysis Mathematics
77	Efficient Server-Aided Secure Two-Party Function Evaluation with Applications to Genomic Computation Marina Blanton and Fattaneh Bayatbabolghani Department of Computer Science and Engineering University of Notre Dame mbl Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-09 22:08:08 Genetics Biology DNA Secure multi-party computation Genetic testing Boolean circuit Parental testing DNA profiling Actor model Cryptographic protocols Applied genetics Cryptography
78	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
79	C HA PT ER 2 BASICS 2–1 Manipulating Rightmost Bits Some of the formulas in this section find application in later chapters. Use the following formula to turn off the rightmost 1-bit in a word, producing Add to Reading List Source URL: www.hackersdelight.org Language: English - Date: 2012-10-18 22:11:36 Functions and mappings Computer arithmetic Find first set Function Boolean algebra Expected value Hamming weight Mutual information Mathematics Mathematical analysis Binary arithmetic
80	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic

UPDATE